AbstractAlgebra.Generic.Frac{Nemo.QQMPolyRingElem}[P4, P3, P2, P1, P0, Ks, Mar, alpa, Mar*P5 + beta, siga1 + M + siga2, siga1*M + siga1*siga2 + M*siga2, (siga1*phi*M*siga2 - siga1*M*siga2 - phi*M*Mar*siga2 + M*Mar*siga2)//(siga1*beta_SA + phi*Mar*beta_SA - Mar*beta_SA), (siga1*beta_SI*phi*siga2 - siga1*beta_SI*siga2 - siga1*phi*siga2*beta_SA - siga1*M*beta_SA - beta_SI*phi*Mar*siga2 + beta_SI*Mar*siga2 - phi*M*Mar*beta_SA + M*Mar*beta_SA)//(siga1*beta_SA + phi*Mar*beta_SA - Mar*beta_SA), (siga1^2*beta_SI*beta_SA - siga1^2*beta_SA^2 + siga1*beta_SI^2*phi*siga2 - siga1*beta_SI^2*siga2 + siga1*beta_SI*phi*Mar*beta_SA - 2*siga1*beta_SI*phi*siga2*beta_SA - siga1*beta_SI*M*beta_SA - siga1*beta_SI*Mar*beta_SA + siga1*beta_SI*siga2*beta_SA - siga1*phi*Mar*beta_SA^2 + siga1*phi*siga2*beta_SA^2 + siga1*Mar*beta_SA^2 - beta_SI^2*phi*Mar*siga2 + beta_SI^2*Mar*siga2 - beta_SI*phi*M*Mar*beta_SA + beta_SI*phi*Mar*siga2*beta_SA + beta_SI*M*Mar*beta_SA - beta_SI*Mar*siga2*beta_SA)//(siga1*M*beta_SA + phi*M*Mar*beta_SA - M*Mar*beta_SA), (siga1^4*beta_SI*beta_SA^2 - siga1^4*beta_SA^3 + 2*siga1^3*beta_SI^2*phi*siga2*beta_SA - 2*siga1^3*beta_SI^2*siga2*beta_SA + 2*siga1^3*beta_SI*phi*Mar*beta_SA^2 - 4*siga1^3*beta_SI*phi*siga2*beta_SA^2 - siga1^3*beta_SI*M*beta_SA^2 - 2*siga1^3*beta_SI*Mar*beta_SA^2 + 3*siga1^3*beta_SI*siga2*beta_SA^2 - 2*siga1^3*phi*Mar*beta_SA^3 + 2*siga1^3*phi*siga2*beta_SA^3 + siga1^3*M*beta_SA^3 + 2*siga1^3*Mar*beta_SA^3 - siga1^3*siga2*beta_SA^3 + siga1^2*beta_SI^3*phi^2*siga2^2 - 2*siga1^2*beta_SI^3*phi*siga2^2 + siga1^2*beta_SI^3*siga2^2 + 2*siga1^2*beta_SI^2*phi^2*Mar*siga2*beta_SA - 3*siga1^2*beta_SI^2*phi^2*siga2^2*beta_SA - siga1^2*beta_SI^2*phi*M*siga2*beta_SA - 6*siga1^2*beta_SI^2*phi*Mar*siga2*beta_SA + 5*siga1^2*beta_SI^2*phi*siga2^2*beta_SA + siga1^2*beta_SI^2*M*siga2*beta_SA + 4*siga1^2*beta_SI^2*Mar*siga2*beta_SA - 2*siga1^2*beta_SI^2*siga2^2*beta_SA + siga1^2*beta_SI*phi^2*Mar^2*beta_SA^2 - 4*siga1^2*beta_SI*phi^2*Mar*siga2*beta_SA^2 + 3*siga1^2*beta_SI*phi^2*siga2^2*beta_SA^2 - 2*siga1^2*beta_SI*phi*M*Mar*beta_SA^2 + 2*siga1^2*beta_SI*phi*M*siga2*beta_SA^2 - 2*siga1^2*beta_SI*phi*Mar^2*beta_SA^2 + 10*siga1^2*beta_SI*phi*Mar*siga2*beta_SA^2 - 4*siga1^2*beta_SI*phi*siga2^2*beta_SA^2 + 2*siga1^2*beta_SI*M*Mar*beta_SA^2 - siga1^2*beta_SI*M*siga2*beta_SA^2 + siga1^2*beta_SI*Mar^2*beta_SA^2 - 6*siga1^2*beta_SI*Mar*siga2*beta_SA^2 + siga1^2*beta_SI*siga2^2*beta_SA^2 - siga1^2*phi^2*Mar^2*beta_SA^3 + 2*siga1^2*phi^2*Mar*siga2*beta_SA^3 - siga1^2*phi^2*siga2^2*beta_SA^3 + 2*siga1^2*phi*M*Mar*beta_SA^3 - siga1^2*phi*M*siga2*beta_SA^3 + 2*siga1^2*phi*Mar^2*beta_SA^3 - 4*siga1^2*phi*Mar*siga2*beta_SA^3 + siga1^2*phi*siga2^2*beta_SA^3 - 2*siga1^2*M*Mar*beta_SA^3 - siga1^2*Mar^2*beta_SA^3 + 2*siga1^2*Mar*siga2*beta_SA^3 - 2*siga1*beta_SI^3*phi^2*Mar*siga2^2 + 4*siga1*beta_SI^3*phi*Mar*siga2^2 - 2*siga1*beta_SI^3*Mar*siga2^2 - siga1*beta_SI^2*phi^2*M*Mar*siga2*beta_SA - 2*siga1*beta_SI^2*phi^2*Mar^2*siga2*beta_SA + 5*siga1*beta_SI^2*phi^2*Mar*siga2^2*beta_SA + 3*siga1*beta_SI^2*phi*M*Mar*siga2*beta_SA + 4*siga1*beta_SI^2*phi*Mar^2*siga2*beta_SA - 9*siga1*beta_SI^2*phi*Mar*siga2^2*beta_SA - 2*siga1*beta_SI^2*M*Mar*siga2*beta_SA - 2*siga1*beta_SI^2*Mar^2*siga2*beta_SA + 4*siga1*beta_SI^2*Mar*siga2^2*beta_SA - siga1*beta_SI*phi^2*M*Mar^2*beta_SA^2 + 2*siga1*beta_SI*phi^2*M*Mar*siga2*beta_SA^2 + 3*siga1*beta_SI*phi^2*Mar^2*siga2*beta_SA^2 - 4*siga1*beta_SI*phi^2*Mar*siga2^2*beta_SA^2 + 2*siga1*beta_SI*phi*M*Mar^2*beta_SA^2 - 4*siga1*beta_SI*phi*M*Mar*siga2*beta_SA^2 - 6*siga1*beta_SI*phi*Mar^2*siga2*beta_SA^2 + 6*siga1*beta_SI*phi*Mar*siga2^2*beta_SA^2 - siga1*beta_SI*M*Mar^2*beta_SA^2 + 2*siga1*beta_SI*M*Mar*siga2*beta_SA^2 + 3*siga1*beta_SI*Mar^2*siga2*beta_SA^2 - 2*siga1*beta_SI*Mar*siga2^2*beta_SA^2 + siga1*phi^2*M*Mar^2*beta_SA^3 - siga1*phi^2*M*Mar*siga2*beta_SA^3 - siga1*phi^2*Mar^2*siga2*beta_SA^3 + siga1*phi^2*Mar*siga2^2*beta_SA^3 - 2*siga1*phi*M*Mar^2*beta_SA^3 + siga1*phi*M*Mar*siga2*beta_SA^3 + 2*siga1*phi*Mar^2*siga2*beta_SA^3 - siga1*phi*Mar*siga2^2*beta_SA^3 + siga1*M*Mar^2*beta_SA^3 - siga1*Mar^2*siga2*beta_SA^3 + beta_SI^3*phi^2*Mar^2*siga2^2 - 2*beta_SI^3*phi*Mar^2*siga2^2 + beta_SI^3*Mar^2*siga2^2 + beta_SI^2*phi^2*M*Mar^2*siga2*beta_SA - 2*beta_SI^2*phi^2*Mar^2*siga2^2*beta_SA - 2*beta_SI^2*phi*M*Mar^2*siga2*beta_SA + 4*beta_SI^2*phi*Mar^2*siga2^2*beta_SA + beta_SI^2*M*Mar^2*siga2*beta_SA - 2*beta_SI^2*Mar^2*siga2^2*beta_SA - beta_SI*phi^2*M*Mar^2*siga2*beta_SA^2 + beta_SI*phi^2*Mar^2*siga2^2*beta_SA^2 + 2*beta_SI*phi*M*Mar^2*siga2*beta_SA^2 - 2*beta_SI*phi*Mar^2*siga2^2*beta_SA^2 - beta_SI*M*Mar^2*siga2*beta_SA^2 + beta_SI*Mar^2*siga2^2*beta_SA^2)//(siga1^2*phi*M^2*siga2*beta_SA - siga1^2*M^2*siga2*beta_SA + siga1*phi^2*M^2*Mar*siga2*beta_SA - 3*siga1*phi*M^2*Mar*siga2*beta_SA + 2*siga1*M^2*Mar*siga2*beta_SA - phi^2*M^2*Mar^2*siga2*beta_SA + 2*phi*M^2*Mar^2*siga2*beta_SA - M^2*Mar^2*siga2*beta_SA)]
